1. Reachability problems :
پدیدآورنده : Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
